The Axiom System ISigma0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem

نویسنده

  • Dan E. Willard
چکیده

In 1981, Paris and Wilkie [21] indicated it was an open question whether IΣ0 would satisfy the Second Incompleteness Theorem for Herbrand deduction. We will show that IΣ0 will both obey and defy the Herbrandized version of the Second Incompleteness Theorem, depending on which of several equivalent definitions of IΣ0 one examines.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Some specially formulated axiomizations for ISigma0 manage to evade the Herbrandized version of the Second Incompleteness Theorem

In 1981, Paris and Wilkie [28] indicated it was an open question whether IΣ0 would satisfy the Second Incompleteness Theorem for Herbrand deduction. We will show that some specially formulated axiomizations for IΣ0 can evade the Herbrandized version of the Second Incompleteness Theorem.

متن کامل

A generalization of the Second Incompleteness Theorem and some exceptions to it

This paper will introduce the notion of a naming convention and use this paradigm to both develop a new version of the Second Incompleteness Theorem and to describe when an axiom system can partially evade the Second Incompleteness Theorem.

متن کامل

Passive induction and a solution to a Paris-Wilkie open question

In 1981, Paris and Wilkie raised the open question about whether and to what extent the axiom system IΣ0 did satisfy the Second Incompleteness Theorem under Semantic Tableaux deduction. Our prior work showed that the semantic tableaux version of the Second Incompleteness Theorem did generalize for the most common definition of IΣ0 appearing in the standard textbooks. However, there was an alter...

متن کامل

On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency

It is known that Equations (1) – (3) are related to both generalizations of Gödel’s Second Incompleteness Theorem and to its boundary-case exceptions. For instance, Equation (1) will enable the Second Incompleteness Theorem to apply to Hilbert deduction. Also, [36, 38] showed that the semantic tableaux version of the Second Incompleteness Theorem generalizes for essentially all axiom systems th...

متن کامل

On the Nature of Gödel’s Second Incompleteness Theorem

In several recent articles, we have shown how such totality conditions are related to both generalizations and boundary-case exceptions for the Second Incompleteness Theorem. For instance, our article [2] showed how essentially all axiom systems recognizing addition and multiplication as “total” functions are unable to prove a theorem affirming their semantic tableaux consistency. In contrast, ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 165  شماره 

صفحات  -

تاریخ انتشار 2006